Roop, Partha S: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Model-Driven Design Using IEC 61499 ||

Yoong, Li Hsien, Roop, Partha S., Bhatti, Zeeshan E., Kuo, Matthew M. Y.

Year:

2015

Language:

english

File:

PDF, 8.82 MB

english, 2015

2

REFLIX: a processor core with native support for control-dominated embedded applications

Zoran Salcic, Partha Roop, Morteza Biglari-Abhari, Abbas Bigdeli

Journal:

Microprocessors and Microsystems

Year:

2004

Language:

english

File:

PDF, 337 KB

english, 2004

3

[IEEE 2013 IEEE International Conference on Web Services (ICWS) - Santa Clara, CA, USA (2013.06.28-2013.07.3)] 2013 IEEE 20th International Conference on Web Services - Stateful Web Services -- Auto Modeling and Composition

Ali, Syed Adeel, Roop, Partha S., Warren, Ian

Year:

2013

Language:

english

File:

PDF, 1.05 MB

english, 2013

4

A Predictable Framework for Safety-Critical Embedded Systems

Andalam, Sidharta, Roop, Partha S, Girault, Alain, Traulsen, Claus

Journal:

IEEE Transactions on Computers

Year:

2014

Language:

english

File:

PDF, 1.83 MB

english, 2014

5

[ACM Press the 17th ACM-IEEE International Conference - La Jolla, California (2019.10.09-2019.10.11)] Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design - MEMOCODE '19 - Securing implantable medical devices with runtime enforcement hardware

Pearce, Hammond, Kuo, Matthew M. Y., Roop, Partha S., Pinisetty, Srinivas

Year:

2019

Language:

english

File:

PDF, 370 KB

english, 2019

6

[IEEE 2016 IEEE 10th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC) - Lyon, France (2016.9.21-2016.9.23)] 2016 IEEE 10th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSOC) - The ForeC Synchronous Deterministic Parallel Programming Language for Multicores

Yip, Eugene, Girault, Alain, Roop, Partha S., Biglari-Abhari, Morteza

Year:

2016

Language:

english

File:

PDF, 202 KB

english, 2016

7

HiDRA—A reactive multiprocessor architecture for heterogeneous embedded systems

Zoran Salcic, Dong Hui, Partha S. Roop, Morteza Biglari-Abhari

Journal:

Microprocessors and Microsystems

Year:

2006

Language:

english

File:

PDF, 190 KB

english, 2006

8

[IEEE 2013 13th International Conference on Application of Concurrency to System Design (ACSD) - Barcelona, Spain (2013.07.8-2013.07.10)] 2013 13th International Conference on Application of Concurrency to System Design - Programming and Timing Analysis of Parallel Programs on Multicores

Yip, Eugene, Roop, Partha S., Biglari-Abhari, Morteza, Girault, Alain

Year:

2013

Language:

english

File:

PDF, 389 KB

english, 2013

9

Unified Functional Safety Assessment of Industrial Automation Systems

Bhatti, Zeeshan E., Roop, Partha S., Sinha, Roopak

Journal:

IEEE Transactions on Industrial Informatics

Year:

2016

Language:

english

File:

PDF, 1.48 MB

english, 2016

10

[IEEE 2010 8th IEEE International Conference on Industrial Informatics (INDIN) - Osaka, Japan (2010.07.13-2010.07.16)] 2010 8th IEEE International Conference on Industrial Informatics - Reengineering of IEC 61131 into IEC 61499 Function Blocks

Shaw, Gareth D., Roop, Partha S., Salcic, Zoran

Year:

2010

Language:

english

File:

PDF, 349 KB

english, 2010

11

Precise specification matching for adaptive reuse in embedded systems

Hai-Feng Guo, Miao Liu, Partha S. Roop, C.R. Ramakrishnan, I.V. Ramakrishnan

Journal:

Journal of Applied Logic

Year:

2007

Language:

english

File:

PDF, 436 KB

english, 2007

12

Adaptive Verification using Forced Simulation

Roopak Sinha, Partha S. Roop, Bakhadyr Khoussainov

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 442 KB

english, 2005

13

An overview of MICKEY: A knowledge-based hardware-software codesign framework for microprocessor-based systems

Raj S Mitra, Partha S Roop, Anupam Basu

Journal:

Year:

1996

Language:

english

File:

PDF, 1.13 MB

english, 1996

14

[IEEE 2008 13th Asia-Pacific Computer Systems Architecture Conference (ACSAC) - Hsinchu (2008.08.4-2008.08.6)] 2008 13th Asia-Pacific Computer Systems Architecture Conference - Tandem virtual machine — An efficient execution platform for GALS language SystemJ

Malik, Avinash, Salcic, Zoran, Roop, Partha S.

Year:

2008

Language:

english

File:

PDF, 602 KB

english, 2008

15

A NEW MODEL FOR HETEROGENEOUS EMBEDDED SYSTEMS — What Esterel and SyncCharts Need to Become a Suitable Specification Platform

RADOJEVIC, IVAN, SALCIC, ZORAN, ROOP, PARTHA

Journal:

International Journal of Software Engineering and Knowledge Engineering

Year:

2005

Language:

english

File:

PDF, 365 KB

english, 2005

16

[IEEE 2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) - Beijing, China (2018.10.15-2018.10.18)] 2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) - Security of Pacemakers using Runtime Verification

Pinisetty, Srinivas, Roop, Partha S, Sawant, Vidula, Schneider, Gerardo

Year:

2018

Language:

english

File:

PDF, 1.37 MB

english, 2018

17

Local Module Checking for CTL Specifications

Samik Basu, Partha S Roop, Roopak Sinha

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 365 KB

english, 2007

18

[IEEE Factory Automation (ETFA 2009) - Palma de Mallorca, Spain (2009.09.22-2009.09.25)] 2009 IEEE Conference on Emerging Technologies & Factory Automation - A hierarchical and concurrent approach for IEC 61499 function blocks

Shaw, Gareth D., Roop, Partha S., Salcic, Zoran

Year:

2009

Language:

english

File:

PDF, 440 KB

english, 2009

19

Hierarchical and Concurrent ECCs for IEC 61499 Function Blocks

Sinha, Roopak, Roop, Partha, Shaw, Gareth, Salcic, Zoran, Kuo, Matthew

Journal:

IEEE Transactions on Industrial Informatics

Year:

2015

Language:

english

File:

PDF, 1.21 MB

english, 2015

20

Smart I/O modules for mitigating cyber-physical attacks on industrial control systems

Pearce, Hammond, Pinisetty, Srinivas, Roop, Partha S., Kuo, Matthew M. Y., Ukil, Abhisek

Journal:

IEEE Transactions on Industrial Informatics

Year:

2019

Language:

english

File:

PDF, 3.48 MB

english, 2019

21

Forced simulation: A technique for automating component reuse in embedded systems

Roop, Partha S., Sowmya, A., Ramesh, S.

Journal:

ACM Transactions on Design Automation of Electronic Systems

Year:

2001

Language:

english

File:

PDF, 277 KB

english, 2001

22

[ACM Press the 50th Annual Design Automation Conference - Austin, Texas (2013.05.29-2013.06.07)] Proceedings of the 50th Annual Design Automation Conference on - DAC '13 - Precise timing analysis for direct-mapped caches

Andalam, Sidharta, Girault, Alain, Sinha, Roopak, Roop, Partha, Reineke, Jan

Year:

2013

Language:

english

File:

PDF, 634 KB

english, 2013

23

[IEEE 2017 IEEE 20th International Symposium on Real-Time Distributed Computing (ISORC) - Toronto, ON, Canada (2017.5.16-2017.5.18)] 2017 IEEE 20th International Symposium on Real-Time Distributed Computing (ISORC) - A Model Driven Approach for Cardiac Pacemaker Design Using a PRET Processor

Allen, Nathan, Pearce, Hammond, Roop, Partha, Hanxleden, Reinhard von

Year:

2017

Language:

english

File:

PDF, 401 KB

english, 2017

24

Resonant model—A new paradigm for modeling an action potential of biological cells

Sehgal, Sucheta, Patel, Nitish D., Malik, Avinash, Roop, Partha S., Trew, Mark L., Alber, Mark

Journal:

Year:

2019

Language:

english

File:

PDF, 4.17 MB

english, 2019

25

Smart I/O modules for mitigating cyber-physical attacks on industrial control systems

Pearce, Hammond, Pinisetty, Srinivas, Roop, Partha S., Kuo, Matthew M. Y., Ukil, Abhisek

Journal:

IEEE Transactions on Industrial Informatics

Year:

2019

File:

PDF, 3.48 MB

2019

26

A dynamic Quantized State System execution framework for Hybrid Automata

Malik, Avinash, Roop, Partha

Journal:

Nonlinear Analysis Hybrid Systems

Year:

2020

Language:

english

File:

PDF, 713 KB

english, 2020

27

Design of Distributed Heterogeneous Embedded Systems in DDFCharts

Radojevic, Ivan, Salcic, Zoran, Roop, Partha

Journal:

IEEE Transactions on Parallel and Distributed Systems

Year:

2011

Language:

english

File:

PDF, 2.31 MB

english, 2011

28

Sequentially Constructive Concurrency—A Conservative Extension of the Synchronous Model of Computation

Hanxleden, Reinhard Von, Mendler, Michael, Aguado, Joaquín, Duderstadt, Björn, Fuhrmann, Insa, Motika, Christian, Mercer, Stephen, O'brien, Owen, Roop, Partha

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2014

Language:

english

File:

PDF, 2.40 MB

english, 2014

29

[ACM Press the fourth ACM international conference - Pisa, Italy (2004.09.27-2004.09.29)] Proceedings of the fourth ACM international conference on Embedded software - EMSOFT '04 - Towards direct execution of esterel programs on reactive processors

Roop, Partha S., Salcic, Zoran, Dayaratne, M.W. Sajeewa

Year:

2004

Language:

english

File:

PDF, 263 KB

english, 2004

30

[IEEE 2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) - Beijing, China (2018.10.15-2018.10.18)] 2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) - Synchronous neural networks for cyber-physical systems

Roop, Partha S, Pearce, Hammond, Monadjem, Keyan

Year:

2018

Language:

english

File:

PDF, 458 KB

english, 2018

31

[IEEE 2009 IEEE International Conference on Industrial Technology - (ICIT) - Churchill, Victoria, Australia (2009.02.10-2009.02.13)] 2009 IEEE International Conference on Industrial Technology - Efficient implementation of IEC 61499 function blocks

Li Hsien Yoong,, Roop, Partha S., Salcic, Zoran

Year:

2009

Language:

english

File:

PDF, 329 KB

english, 2009

32

[IEEE 2017 Forum on Specification and Design Languages (FDL) - Verona (2017.9.18-2017.9.20)] 2017 Forum on Specification and Design Languages (FDL) - Compositional timing-aware semantics for synchronous programming

Aguado, Joaquin, Mendler, Michael, Wang, Jia Jie, Bodin, Bruno, Roop, Partha

Year:

2017

Language:

english

File:

PDF, 404 KB

english, 2017

33

[ACM Press the 2009 international conference - Grenoble, France (2009.10.11-2009.10.16)] Proceedings of the 2009 international conference on Compilers, architecture, and synthesis for embedded systems - CASES '09 - Tight WCRT analysis of synchronous C programs

Roop, Partha S., Andalam, Sidharta, von Hanxleden, Reinhard, Yuan, Simon, Traulsen, Claus

Year:

2009

Language:

english

File:

PDF, 744 KB

english, 2009

34

Virtual Traffic Lights+

Sinha, Roopak, Roop, Partha, Ranjitkar, Prakash

Journal:

Transportation Research Record Journal of the Transportation Research Board

Year:

2013

Language:

english

File:

PDF, 2.36 MB

english, 2013

35

Runtime Enforcement of Cyber-Physical Systems

Pinisetty, Srinivas, Roop, Partha S., Smyth, Steven, Allen, Nathan, Tripakis, Stavros, Hanxleden, Reinhard Von

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2017

Language:

english

File:

PDF, 784 KB

english, 2017

36

Formal Modeling and Verification of a Victim DRAM Cache

Sahoo, Debiprasanna, Sha, Swaraj, Satpathy, Manoranjan, Mutyam, Madhu, Ramesh, S., Roop, Partha

Journal:

ACM Transactions on Design Automation of Electronic Systems

Year:

2019

File:

PDF, 4.35 MB

2019

37

[IEEE 2019 IEEE International Instrumentation and Measurement Technology Conference (I2MTC) - Auckland, New Zealand (2019.5.20-2019.5.23)] 2019 IEEE International Instrumentation and Measurement Technology Conference (I2MTC) - A formal analysis approach for verifying the design of respiratory pacing devices

Eichler, Chad E., Suresh, Vinod, Roop, Partha S.

Year:

2019

File:

PDF, 536 KB

2019

38

[IEEE 2015 IEEE 18th International Symposium on Real-Time Distributed Computing (ISORC) - Auckland, New Zealand (2015.4.13-2015.4.17)] 2015 IEEE 18th International Symposium on Real-Time Distributed Computing - Schedule Synthesis for Time-Triggered Multi-hop Wireless Networks with Retransmissions

Ro, Jin Woo, Roop, Partha, Malik, Avinash

Year:

2015

Language:

english

File:

PDF, 1.83 MB

english, 2015

39

[IEEE 2016 IEEE 19th International Symposium on Real-Time Distributed Computing (ISORC) - York, United Kingdom (2016.5.17-2016.5.20)] 2016 IEEE 19th International Symposium on Real-Time Distributed Computing (ISORC) - Mixed-Criticality Systems as a Service for Non-critical Tasks

Hikmet, Mahmood, Kuo, Matthew My, Roop, Partha S., Ranjitkar, Prakash

Year:

2016

Language:

english

File:

PDF, 1.33 MB

english, 2016

40

Timing Analysis of Synchronous Programs using WCRT Algebra

Wang, Jiajie, Mendler, Michael, Roop, Partha, Bodin, Bruno

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2017

Language:

english

File:

PDF, 825 KB

english, 2017

41

Formal Modeling and Verification of Controllers for a Family of DRAM Caches

Sahoo, Debiprasanna, Sha, Swaraj, Satpathy, Manoranjan, Mutyam, Madhu, Ramesh, S., Roop, Partha

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2018

Language:

english

File:

PDF, 2.44 MB

english, 2018

42

[IEEE 2013 13th International Conference on Application of Concurrency to System Design (ACSD) - Barcelona, Spain (2013.07.8-2013.07.10)] 2013 13th International Conference on Application of Concurrency to System Design - Precision Timed Embedded Systems Using TickPAD Memory

Kuo, Matthew, Roop, Partha, Andalam, Sidharta, Patel, Nitish

Year:

2013

Language:

english

File:

PDF, 731 KB

english, 2013

43

[IEEE 2015 IEEE 18th International Symposium on Real-Time Distributed Computing (ISORC) - Auckland, New Zealand (2015.4.13-2015.4.17)] 2015 IEEE 18th International Symposium on Real-Time Distributed Computing - Synthesizing Multirate Programs from IEC 61499

Yoong, Li Hsien, Roop, Partha S.

Year:

2015

Language:

english

File:

PDF, 329 KB

english, 2015

44

A New Safety Distance Calculation for Rear-End Collision Avoidance

Ro, Jin Woo, Roop, Partha S., Malik, Avinash

Journal:

IEEE Transactions on Intelligent Transportation Systems

Year:

2020

Language:

english

File:

PDF, 1.61 MB

english, 2020

45

[IEEE 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Grenoble, France (2020.3.9-2020.3.13)] 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE) - A compositional approach using Keras for neural networks in real-time systems

Yang, Xin, Roop, Partha, Pearce, Hammond, Ro, Jin Woo

Year:

2020

File:

PDF, 357 KB

2020

46

Implementing constrained cyber-physical systems with IEC 61499

Yoong, Li Hsien, Roop, Partha S., Salcic, Zoran

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2012

Language:

english

File:

PDF, 694 KB

english, 2012

47

[ACM Press the 17th ACM-IEEE International Conference - La Jolla, California (2019.10.09-2019.10.11)] Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design - MEMOCODE '19 - A compositional approach for real-time machine learning

Allen, Nathan, Raje, Yash, Ro, Jin Woo, Roop, Partha

Year:

2019

File:

PDF, 556 KB

2019

48

Compositional cyber-physical epidemiology of COVID-19

Ro, Jin Woo, Allen, Nathan, Ai, Weiwei, Prasad, Debi, Roop, Partha S.

Journal:

Scientific Reports

Year:

2020

File:

PDF, 1.77 MB

2020

49

[IEEE 2011 14th Euromicro Conference on Digital System Design (DSD) - Oulu, Finland (2011.08.31-2011.09.2)] 2011 14th Euromicro Conference on Digital System Design - Compiling Esterel for Multi-core Execution

Yuan, Simon, Yoong, Li Hsien, Roop, Partha S.

Year:

2011

Language:

english

File:

PDF, 463 KB

english, 2011

50

[IEEE 2014 IEEE Emerging Technology and Factory Automation (ETFA) - Barcelona, Spain (2014.9.16-2014.9.19)] Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA) - A model-driven approach with synchronous semantics for developing hard real-time WSNs

Ro, Jin Woo, Bhatti, Zeeshan E., Roop, Partha S.

Year:

2014

Language:

english

File:

PDF, 1.72 MB

english, 2014

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски